| Name | # Files | Name | # Files | Name | # Files | ||
|---|---|---|---|---|---|---|---|
| c | 2 | formulae | 5 | iff2c | 10 | ||
| intuisup | 13 | life | 22 | smarticon | 6 | ||
| vectors | 9 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| contents | Text File | 45 | 2KB | 1995-03-14 |
| distribution | Text File | 25 | 1KB | 1995-03-14 |
| generalinfo | Text File | 232 | 9KB | 1995-03-14 |